; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = lshr i64 %"SymVar_0", 56
  %".5" = trunc i64 %".4" to i8
  %".6" = zext i8 %".5" to i32
  %".7" = zext i32 %".6" to i64
  %".8" = trunc i64 %".7" to i8
  %".9" = zext i8 %".8" to i32
  %".10" = zext i32 %".9" to i64
  %".11" = trunc i64 %".10" to i8
  %".12" = zext i8 %".11" to i32
  %".13" = zext i32 %".12" to i64
  %".14" = trunc i64 %".13" to i32
  %".15" = zext i32 %".14" to i64
  %".16" = trunc i64 %".15" to i32
  %".17" = lshr i64 %"SymVar_0", 48
  %".18" = trunc i64 %".17" to i8
  %".19" = zext i8 %".18" to i32
  %".20" = zext i32 %".19" to i64
  %".21" = trunc i64 %".20" to i8
  %".22" = zext i8 %".21" to i32
  %".23" = zext i32 %".22" to i64
  %".24" = trunc i64 %".23" to i8
  %".25" = zext i8 %".24" to i32
  %".26" = zext i32 %".25" to i64
  %".27" = trunc i64 %".26" to i32
  %".28" = zext i32 %".27" to i64
  %".29" = trunc i64 %".28" to i32
  %".30" = lshr i64 %"SymVar_0", 40
  %".31" = trunc i64 %".30" to i8
  %".32" = zext i8 %".31" to i32
  %".33" = zext i32 %".32" to i64
  %".34" = trunc i64 %".33" to i8
  %".35" = zext i8 %".34" to i32
  %".36" = zext i32 %".35" to i64
  %".37" = trunc i64 %".36" to i8
  %".38" = zext i8 %".37" to i32
  %".39" = zext i32 %".38" to i64
  %".40" = trunc i64 %".39" to i32
  %".41" = zext i32 %".40" to i64
  %".42" = trunc i64 %".41" to i32
  %".43" = lshr i64 %"SymVar_0", 32
  %".44" = trunc i64 %".43" to i8
  %".45" = zext i8 %".44" to i32
  %".46" = zext i32 %".45" to i64
  %".47" = trunc i64 %".46" to i8
  %".48" = zext i8 %".47" to i32
  %".49" = zext i32 %".48" to i64
  %".50" = trunc i64 %".49" to i8
  %".51" = zext i8 %".50" to i32
  %".52" = zext i32 %".51" to i64
  %".53" = trunc i64 %".52" to i32
  %".54" = zext i32 %".53" to i64
  %".55" = trunc i64 %".54" to i32
  %".56" = lshr i64 %"SymVar_0", 24
  %".57" = trunc i64 %".56" to i8
  %".58" = zext i8 %".57" to i32
  %".59" = zext i32 %".58" to i64
  %".60" = trunc i64 %".59" to i8
  %".61" = zext i8 %".60" to i32
  %".62" = zext i32 %".61" to i64
  %".63" = trunc i64 %".62" to i8
  %".64" = zext i8 %".63" to i32
  %".65" = zext i32 %".64" to i64
  %".66" = trunc i64 %".65" to i32
  %".67" = zext i32 %".66" to i64
  %".68" = trunc i64 %".67" to i32
  %".69" = lshr i64 %"SymVar_0", 16
  %".70" = trunc i64 %".69" to i8
  %".71" = zext i8 %".70" to i32
  %".72" = zext i32 %".71" to i64
  %".73" = trunc i64 %".72" to i8
  %".74" = zext i8 %".73" to i32
  %".75" = zext i32 %".74" to i64
  %".76" = trunc i64 %".75" to i8
  %".77" = zext i8 %".76" to i32
  %".78" = zext i32 %".77" to i64
  %".79" = trunc i64 %".78" to i32
  %".80" = zext i32 %".79" to i64
  %".81" = trunc i64 %".80" to i32
  %".82" = lshr i64 %"SymVar_0", 8
  %".83" = trunc i64 %".82" to i8
  %".84" = zext i8 %".83" to i32
  %".85" = zext i32 %".84" to i64
  %".86" = trunc i64 %".85" to i8
  %".87" = zext i8 %".86" to i32
  %".88" = zext i32 %".87" to i64
  %".89" = trunc i64 %".88" to i8
  %".90" = zext i8 %".89" to i32
  %".91" = zext i32 %".90" to i64
  %".92" = trunc i64 %".91" to i32
  %".93" = zext i32 %".92" to i64
  %".94" = trunc i64 %".93" to i32
  %".95" = trunc i64 %"SymVar_0" to i8
  %".96" = zext i8 %".95" to i32
  %".97" = zext i32 %".96" to i64
  %".98" = trunc i64 %".97" to i8
  %".99" = zext i8 %".98" to i32
  %".100" = zext i32 %".99" to i64
  %".101" = trunc i64 %".100" to i8
  %".102" = zext i8 %".101" to i32
  %".103" = zext i32 %".102" to i64
  %".104" = trunc i64 %".103" to i32
  %".105" = zext i32 %".104" to i64
  %".106" = trunc i64 %".105" to i32
  %".107" = add i32 %".106", 1
  %".108" = zext i32 %".107" to i64
  %".109" = trunc i64 %".108" to i32
  %".110" = zext i32 %".109" to i64
  %".111" = trunc i64 %".110" to i32
  %".112" = zext i32 %".111" to i64
  %".113" = zext i32 0 to i64
  %".114" = shl i64 %".113", 32
  %".115" = or i64 %".112", %".114"
  %".116" = zext i32 65521 to i64
  %".117" = urem i64 %".115", %".116"
  %".118" = trunc i64 %".117" to i32
  %".119" = zext i32 %".118" to i64
  %".120" = trunc i64 %".119" to i32
  %".121" = zext i32 %".120" to i64
  %".122" = trunc i64 %".121" to i32
  %".123" = zext i32 %".122" to i64
  %".124" = trunc i64 %".123" to i32
  %".125" = zext i32 %".124" to i64
  %".126" = trunc i64 %".125" to i32
  %".127" = zext i32 %".126" to i64
  %".128" = trunc i64 %".127" to i32
  %".129" = add i32 %".94", %".128"
  %".130" = zext i32 %".129" to i64
  %".131" = trunc i64 %".130" to i32
  %".132" = zext i32 %".131" to i64
  %".133" = trunc i64 %".132" to i32
  %".134" = zext i32 %".133" to i64
  %".135" = zext i32 0 to i64
  %".136" = shl i64 %".135", 32
  %".137" = or i64 %".134", %".136"
  %".138" = zext i32 65521 to i64
  %".139" = urem i64 %".137", %".138"
  %".140" = trunc i64 %".139" to i32
  %".141" = zext i32 %".140" to i64
  %".142" = trunc i64 %".141" to i32
  %".143" = zext i32 %".142" to i64
  %".144" = trunc i64 %".143" to i32
  %".145" = zext i32 %".144" to i64
  %".146" = trunc i64 %".145" to i32
  %".147" = zext i32 %".146" to i64
  %".148" = trunc i64 %".147" to i32
  %".149" = zext i32 %".148" to i64
  %".150" = trunc i64 %".149" to i32
  %".151" = add i32 %".81", %".150"
  %".152" = zext i32 %".151" to i64
  %".153" = trunc i64 %".152" to i32
  %".154" = zext i32 %".153" to i64
  %".155" = trunc i64 %".154" to i32
  %".156" = zext i32 %".155" to i64
  %".157" = zext i32 0 to i64
  %".158" = shl i64 %".157", 32
  %".159" = or i64 %".156", %".158"
  %".160" = zext i32 65521 to i64
  %".161" = urem i64 %".159", %".160"
  %".162" = trunc i64 %".161" to i32
  %".163" = zext i32 %".162" to i64
  %".164" = trunc i64 %".163" to i32
  %".165" = zext i32 %".164" to i64
  %".166" = trunc i64 %".165" to i32
  %".167" = zext i32 %".166" to i64
  %".168" = trunc i64 %".167" to i32
  %".169" = zext i32 %".168" to i64
  %".170" = trunc i64 %".169" to i32
  %".171" = zext i32 %".170" to i64
  %".172" = trunc i64 %".171" to i32
  %".173" = add i32 %".68", %".172"
  %".174" = zext i32 %".173" to i64
  %".175" = trunc i64 %".174" to i32
  %".176" = zext i32 %".175" to i64
  %".177" = trunc i64 %".176" to i32
  %".178" = zext i32 %".177" to i64
  %".179" = zext i32 0 to i64
  %".180" = shl i64 %".179", 32
  %".181" = or i64 %".178", %".180"
  %".182" = zext i32 65521 to i64
  %".183" = urem i64 %".181", %".182"
  %".184" = trunc i64 %".183" to i32
  %".185" = zext i32 %".184" to i64
  %".186" = trunc i64 %".185" to i32
  %".187" = zext i32 %".186" to i64
  %".188" = trunc i64 %".187" to i32
  %".189" = zext i32 %".188" to i64
  %".190" = trunc i64 %".189" to i32
  %".191" = zext i32 %".190" to i64
  %".192" = trunc i64 %".191" to i32
  %".193" = zext i32 %".192" to i64
  %".194" = trunc i64 %".193" to i32
  %".195" = add i32 %".55", %".194"
  %".196" = zext i32 %".195" to i64
  %".197" = trunc i64 %".196" to i32
  %".198" = zext i32 %".197" to i64
  %".199" = trunc i64 %".198" to i32
  %".200" = zext i32 %".199" to i64
  %".201" = zext i32 0 to i64
  %".202" = shl i64 %".201", 32
  %".203" = or i64 %".200", %".202"
  %".204" = zext i32 65521 to i64
  %".205" = urem i64 %".203", %".204"
  %".206" = trunc i64 %".205" to i32
  %".207" = zext i32 %".206" to i64
  %".208" = trunc i64 %".207" to i32
  %".209" = zext i32 %".208" to i64
  %".210" = trunc i64 %".209" to i32
  %".211" = zext i32 %".210" to i64
  %".212" = trunc i64 %".211" to i32
  %".213" = zext i32 %".212" to i64
  %".214" = trunc i64 %".213" to i32
  %".215" = zext i32 %".214" to i64
  %".216" = trunc i64 %".215" to i32
  %".217" = add i32 %".42", %".216"
  %".218" = zext i32 %".217" to i64
  %".219" = trunc i64 %".218" to i32
  %".220" = zext i32 %".219" to i64
  %".221" = trunc i64 %".220" to i32
  %".222" = zext i32 %".221" to i64
  %".223" = zext i32 0 to i64
  %".224" = shl i64 %".223", 32
  %".225" = or i64 %".222", %".224"
  %".226" = zext i32 65521 to i64
  %".227" = urem i64 %".225", %".226"
  %".228" = trunc i64 %".227" to i32
  %".229" = zext i32 %".228" to i64
  %".230" = trunc i64 %".229" to i32
  %".231" = zext i32 %".230" to i64
  %".232" = trunc i64 %".231" to i32
  %".233" = zext i32 %".232" to i64
  %".234" = trunc i64 %".233" to i32
  %".235" = zext i32 %".234" to i64
  %".236" = trunc i64 %".235" to i32
  %".237" = zext i32 %".236" to i64
  %".238" = trunc i64 %".237" to i32
  %".239" = add i32 %".29", %".238"
  %".240" = zext i32 %".239" to i64
  %".241" = trunc i64 %".240" to i32
  %".242" = zext i32 %".241" to i64
  %".243" = trunc i64 %".242" to i32
  %".244" = zext i32 %".243" to i64
  %".245" = zext i32 0 to i64
  %".246" = shl i64 %".245", 32
  %".247" = or i64 %".244", %".246"
  %".248" = zext i32 65521 to i64
  %".249" = urem i64 %".247", %".248"
  %".250" = trunc i64 %".249" to i32
  %".251" = zext i32 %".250" to i64
  %".252" = trunc i64 %".251" to i32
  %".253" = zext i32 %".252" to i64
  %".254" = trunc i64 %".253" to i32
  %".255" = zext i32 %".254" to i64
  %".256" = trunc i64 %".255" to i32
  %".257" = zext i32 %".256" to i64
  %".258" = trunc i64 %".257" to i32
  %".259" = zext i32 %".258" to i64
  %".260" = trunc i64 %".259" to i32
  %".261" = add i32 %".16", %".260"
  %".262" = zext i32 %".261" to i64
  %".263" = trunc i64 %".262" to i32
  %".264" = zext i32 %".263" to i64
  %".265" = trunc i64 %".264" to i32
  %".266" = zext i32 %".265" to i64
  %".267" = zext i32 0 to i64
  %".268" = shl i64 %".267", 32
  %".269" = or i64 %".266", %".268"
  %".270" = zext i32 65521 to i64
  %".271" = urem i64 %".269", %".270"
  %".272" = trunc i64 %".271" to i32
  %".273" = zext i32 %".272" to i64
  %".274" = trunc i64 %".273" to i32
  %".275" = zext i32 %".274" to i64
  %".276" = trunc i64 %".275" to i32
  %".277" = zext i32 %".276" to i64
  %".278" = trunc i64 %".277" to i32
  %".279" = zext i32 %".278" to i64
  %".280" = trunc i64 %".279" to i32
  %".281" = zext i32 %".280" to i64
  %".282" = trunc i64 %".281" to i32
  %".283" = trunc i64 %".277" to i32
  %".284" = zext i32 %".283" to i64
  %".285" = trunc i64 %".284" to i32
  %".286" = zext i32 %".285" to i64
  %".287" = trunc i64 %".286" to i32
  %".288" = trunc i64 %".255" to i32
  %".289" = zext i32 %".288" to i64
  %".290" = trunc i64 %".289" to i32
  %".291" = zext i32 %".290" to i64
  %".292" = trunc i64 %".291" to i32
  %".293" = trunc i64 %".233" to i32
  %".294" = zext i32 %".293" to i64
  %".295" = trunc i64 %".294" to i32
  %".296" = zext i32 %".295" to i64
  %".297" = trunc i64 %".296" to i32
  %".298" = trunc i64 %".211" to i32
  %".299" = zext i32 %".298" to i64
  %".300" = trunc i64 %".299" to i32
  %".301" = zext i32 %".300" to i64
  %".302" = trunc i64 %".301" to i32
  %".303" = trunc i64 %".189" to i32
  %".304" = zext i32 %".303" to i64
  %".305" = trunc i64 %".304" to i32
  %".306" = zext i32 %".305" to i64
  %".307" = trunc i64 %".306" to i32
  %".308" = trunc i64 %".167" to i32
  %".309" = zext i32 %".308" to i64
  %".310" = trunc i64 %".309" to i32
  %".311" = zext i32 %".310" to i64
  %".312" = trunc i64 %".311" to i32
  %".313" = trunc i64 %".145" to i32
  %".314" = zext i32 %".313" to i64
  %".315" = trunc i64 %".314" to i32
  %".316" = zext i32 %".315" to i64
  %".317" = trunc i64 %".316" to i32
  %".318" = trunc i64 %".123" to i32
  %".319" = zext i32 %".318" to i64
  %".320" = trunc i64 %".319" to i32
  %".321" = zext i32 %".320" to i64
  %".322" = trunc i64 %".321" to i32
  %".323" = add i32 %".322", 0
  %".324" = zext i32 %".323" to i64
  %".325" = trunc i64 %".324" to i32
  %".326" = zext i32 %".325" to i64
  %".327" = trunc i64 %".326" to i32
  %".328" = zext i32 %".327" to i64
  %".329" = zext i32 0 to i64
  %".330" = shl i64 %".329", 32
  %".331" = or i64 %".328", %".330"
  %".332" = zext i32 65521 to i64
  %".333" = urem i64 %".331", %".332"
  %".334" = trunc i64 %".333" to i32
  %".335" = zext i32 %".334" to i64
  %".336" = trunc i64 %".335" to i32
  %".337" = zext i32 %".336" to i64
  %".338" = trunc i64 %".337" to i32
  %".339" = zext i32 %".338" to i64
  %".340" = trunc i64 %".339" to i32
  %".341" = zext i32 %".340" to i64
  %".342" = trunc i64 %".341" to i32
  %".343" = zext i32 %".342" to i64
  %".344" = trunc i64 %".343" to i32
  %".345" = add i32 %".317", %".344"
  %".346" = zext i32 %".345" to i64
  %".347" = trunc i64 %".346" to i32
  %".348" = zext i32 %".347" to i64
  %".349" = trunc i64 %".348" to i32
  %".350" = zext i32 %".349" to i64
  %".351" = zext i32 0 to i64
  %".352" = shl i64 %".351", 32
  %".353" = or i64 %".350", %".352"
  %".354" = zext i32 65521 to i64
  %".355" = urem i64 %".353", %".354"
  %".356" = trunc i64 %".355" to i32
  %".357" = zext i32 %".356" to i64
  %".358" = trunc i64 %".357" to i32
  %".359" = zext i32 %".358" to i64
  %".360" = trunc i64 %".359" to i32
  %".361" = zext i32 %".360" to i64
  %".362" = trunc i64 %".361" to i32
  %".363" = zext i32 %".362" to i64
  %".364" = trunc i64 %".363" to i32
  %".365" = zext i32 %".364" to i64
  %".366" = trunc i64 %".365" to i32
  %".367" = add i32 %".312", %".366"
  %".368" = zext i32 %".367" to i64
  %".369" = trunc i64 %".368" to i32
  %".370" = zext i32 %".369" to i64
  %".371" = trunc i64 %".370" to i32
  %".372" = zext i32 %".371" to i64
  %".373" = zext i32 0 to i64
  %".374" = shl i64 %".373", 32
  %".375" = or i64 %".372", %".374"
  %".376" = zext i32 65521 to i64
  %".377" = urem i64 %".375", %".376"
  %".378" = trunc i64 %".377" to i32
  %".379" = zext i32 %".378" to i64
  %".380" = trunc i64 %".379" to i32
  %".381" = zext i32 %".380" to i64
  %".382" = trunc i64 %".381" to i32
  %".383" = zext i32 %".382" to i64
  %".384" = trunc i64 %".383" to i32
  %".385" = zext i32 %".384" to i64
  %".386" = trunc i64 %".385" to i32
  %".387" = zext i32 %".386" to i64
  %".388" = trunc i64 %".387" to i32
  %".389" = add i32 %".307", %".388"
  %".390" = zext i32 %".389" to i64
  %".391" = trunc i64 %".390" to i32
  %".392" = zext i32 %".391" to i64
  %".393" = trunc i64 %".392" to i32
  %".394" = zext i32 %".393" to i64
  %".395" = zext i32 0 to i64
  %".396" = shl i64 %".395", 32
  %".397" = or i64 %".394", %".396"
  %".398" = zext i32 65521 to i64
  %".399" = urem i64 %".397", %".398"
  %".400" = trunc i64 %".399" to i32
  %".401" = zext i32 %".400" to i64
  %".402" = trunc i64 %".401" to i32
  %".403" = zext i32 %".402" to i64
  %".404" = trunc i64 %".403" to i32
  %".405" = zext i32 %".404" to i64
  %".406" = trunc i64 %".405" to i32
  %".407" = zext i32 %".406" to i64
  %".408" = trunc i64 %".407" to i32
  %".409" = zext i32 %".408" to i64
  %".410" = trunc i64 %".409" to i32
  %".411" = add i32 %".302", %".410"
  %".412" = zext i32 %".411" to i64
  %".413" = trunc i64 %".412" to i32
  %".414" = zext i32 %".413" to i64
  %".415" = trunc i64 %".414" to i32
  %".416" = zext i32 %".415" to i64
  %".417" = zext i32 0 to i64
  %".418" = shl i64 %".417", 32
  %".419" = or i64 %".416", %".418"
  %".420" = zext i32 65521 to i64
  %".421" = urem i64 %".419", %".420"
  %".422" = trunc i64 %".421" to i32
  %".423" = zext i32 %".422" to i64
  %".424" = trunc i64 %".423" to i32
  %".425" = zext i32 %".424" to i64
  %".426" = trunc i64 %".425" to i32
  %".427" = zext i32 %".426" to i64
  %".428" = trunc i64 %".427" to i32
  %".429" = zext i32 %".428" to i64
  %".430" = trunc i64 %".429" to i32
  %".431" = zext i32 %".430" to i64
  %".432" = trunc i64 %".431" to i32
  %".433" = add i32 %".297", %".432"
  %".434" = zext i32 %".433" to i64
  %".435" = trunc i64 %".434" to i32
  %".436" = zext i32 %".435" to i64
  %".437" = trunc i64 %".436" to i32
  %".438" = zext i32 %".437" to i64
  %".439" = zext i32 0 to i64
  %".440" = shl i64 %".439", 32
  %".441" = or i64 %".438", %".440"
  %".442" = zext i32 65521 to i64
  %".443" = urem i64 %".441", %".442"
  %".444" = trunc i64 %".443" to i32
  %".445" = zext i32 %".444" to i64
  %".446" = trunc i64 %".445" to i32
  %".447" = zext i32 %".446" to i64
  %".448" = trunc i64 %".447" to i32
  %".449" = zext i32 %".448" to i64
  %".450" = trunc i64 %".449" to i32
  %".451" = zext i32 %".450" to i64
  %".452" = trunc i64 %".451" to i32
  %".453" = zext i32 %".452" to i64
  %".454" = trunc i64 %".453" to i32
  %".455" = add i32 %".292", %".454"
  %".456" = zext i32 %".455" to i64
  %".457" = trunc i64 %".456" to i32
  %".458" = zext i32 %".457" to i64
  %".459" = trunc i64 %".458" to i32
  %".460" = zext i32 %".459" to i64
  %".461" = zext i32 0 to i64
  %".462" = shl i64 %".461", 32
  %".463" = or i64 %".460", %".462"
  %".464" = zext i32 65521 to i64
  %".465" = urem i64 %".463", %".464"
  %".466" = trunc i64 %".465" to i32
  %".467" = zext i32 %".466" to i64
  %".468" = trunc i64 %".467" to i32
  %".469" = zext i32 %".468" to i64
  %".470" = trunc i64 %".469" to i32
  %".471" = zext i32 %".470" to i64
  %".472" = trunc i64 %".471" to i32
  %".473" = zext i32 %".472" to i64
  %".474" = trunc i64 %".473" to i32
  %".475" = zext i32 %".474" to i64
  %".476" = trunc i64 %".475" to i32
  %".477" = add i32 %".287", %".476"
  %".478" = zext i32 %".477" to i64
  %".479" = trunc i64 %".478" to i32
  %".480" = zext i32 %".479" to i64
  %".481" = trunc i64 %".480" to i32
  %".482" = zext i32 %".481" to i64
  %".483" = zext i32 0 to i64
  %".484" = shl i64 %".483", 32
  %".485" = or i64 %".482", %".484"
  %".486" = zext i32 65521 to i64
  %".487" = urem i64 %".485", %".486"
  %".488" = trunc i64 %".487" to i32
  %".489" = zext i32 %".488" to i64
  %".490" = trunc i64 %".489" to i32
  %".491" = zext i32 %".490" to i64
  %".492" = trunc i64 %".491" to i32
  %".493" = zext i32 %".492" to i64
  %".494" = trunc i64 %".493" to i32
  %".495" = zext i32 %".494" to i64
  %".496" = trunc i64 %".495" to i32
  %".497" = zext i32 %".496" to i64
  %".498" = trunc i64 %".497" to i32
  %".499" = zext i8 16 to i32
  %".500" = and i32 %".499", 31
  %".501" = shl i32 %".498", %".500"
  %".502" = zext i32 %".501" to i64
  %".503" = trunc i64 %".502" to i32
  %".504" = zext i32 %".503" to i64
  %".505" = trunc i64 %".504" to i32
  %".506" = zext i32 %".505" to i64
  %".507" = trunc i64 %".506" to i32
  %".508" = or i32 %".282", %".507"
  %".509" = zext i32 %".508" to i64
  %".510" = trunc i64 %".509" to i32
  %".511" = zext i32 %".510" to i64
  %".512" = trunc i64 %".511" to i32
  %".513" = zext i32 %".512" to i64
  %".514" = trunc i64 %".513" to i32
  %".515" = zext i32 %".514" to i64
  %".516" = trunc i64 %".515" to i32
  %".517" = zext i32 %".516" to i64
  %".518" = trunc i64 %".517" to i32
  %".519" = zext i32 %".518" to i64
  %".520" = trunc i64 %".519" to i32
  %".521" = zext i32 %".520" to i64
  ret i64 %".521"
}
